Proving a proposition of "knowing a fact" without revealing its content